producing well stock - перевод на русский

BASIN WITH COAL DEPOSITS

Coal producing regions; Major coal producing regions; Coal basin; Major coal-producing regions; Coal region

producing well stock

нефтегазовая промышленность

действующий фонд скважин

well ordered

TOTAL ORDER SUCH THAT EVERY NONEMPTY SUBSET OF THE DOMAIN HAS A LEAST ELEMENT

Well-ordered set; Well-ordered; Well-ordering; Well ordered; Well ordering; Well-ordering property; Wellorder; Wellordering; Well ordered set; Wellordered; Well ordering theory; Well ordering property; Well-Ordering; Well-Ordered; Well-orderable set; Well order

математика

вполне упорядоченный

well-ordered

TOTAL ORDER SUCH THAT EVERY NONEMPTY SUBSET OF THE DOMAIN HAS A LEAST ELEMENT

well-ordered adj. упорядоченный

Определение

well-ordered set

<mathematics> A set with a total ordering and no infinite descending chains. A total ordering "<=" satisfies x <= x x <= y <= z => x <= z x <= y <= x => x = y for all x, y: x <= y or y <= x In addition, if a set W is well-ordered then all non-empty subsets A of W have a least element, i.e. there exists x in A such that for all y in A, x <= y. Ordinals are isomorphism classes of well-ordered sets, just as integers are isomorphism classes of finite sets. (1995-04-19)

Показать больше определений

Википедия

Coal-mining region

Coal mining regions are significant resource extraction industries in many parts of the world. They provide a large amount of the fossil fuel energy in the world economy.

The People's Republic of China is the largest producer of coal in the world, while Australia is the largest coal exporter. Countries with the largest proven black coal reserves are the United States (250.2 billion tonnes), Russia (160.3 billion tonnes), Australia (147.4 billion tonnes), China (138.8 billion tonnes) and India (101.3 billion tonnes).

A coal-mining region is a region in which coal mining is a significant economic activity. Coal-mining regions are often associated with the social, cultural and environmental impact of coal mining.

https://en.wikipedia.org/wiki/Coal-mining region